1. Modal and temporal properties of processes

by Stirling, Colin.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2001Availability: Items available for loan: [Call number: 004.35 STI] (1).
2. Formal languages and compilation

by Crespi Reghizzi, Stefano.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London: Springer, 2009Availability: Items available for loan: [Call number: 005.453015113 CRE] (1).
3. Understanding concurrent systems

by Roscoe, A. W.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London: Springer, 2010Availability: Items available for loan: [Call number: 004.35 ROS] (2).

Powered by Koha